#seguridad de tipos en tiempo de compilación